<html>
<body>
<span>
This intention replaces either</span>
<pre>
<b>a or b</b> with <b>not(not a and not b)</b> or
<b>a and b</b> with <b>not(not a or not b)</b>
</pre>

<span>
inside boolean expression.
</span>
</body>
</html>